#!/usr/bin/env php
<?php
/**
 * Generated from 'judgedaemon.in' on mié jun 15 11:00:03 COT 2011.
 *
 * This is a wrapper script which sets the configuration and system
 * paths and then calls the main judgedaemon code.
 *
 * $Id: judgedaemon.in 2928 2009-11-10 18:14:40Z kink $
 *
 * Part of the DOMjudge Programming Contest Jury System and licenced
 * under the GNU GPL. See README and COPYING for details.
 */
if ( isset($_SERVER['REMOTE_ADDR']) ) die ("Commandline use only");

require('/usr/local/domjudge/judgehost/etc/judgehost-static.php');

include(LIBJUDGEDIR . '/judgedaemon.main.php');
